2961. Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
پدیدآورنده : edited by A.B. Cremers and H.P. Kriegel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer science
رده :
QA
76
.
L4
v
.
145
2962. Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981
پدیدآورنده : edited by Peter Deussen
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer science
رده :
QA
76
.
L4
v
.
104
2963. Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings
پدیدآورنده : Carlo Blundo, Cosimo Laneve )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2841
2964. Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
پدیدآورنده : Mario Coppo, Elena Lodi, G. Michele Pinna )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3701
2965. Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
پدیدآورنده : Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2202
2966. Theory and Applications of Formal Argumentation.
پدیدآورنده : \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
2967. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
2968. Theory and Practice of Model Transformations
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model-driven software architecture -- Congresses,Computer science,Computer Communication Networks,علوم کامپیوتر,شبکه‌های ارتباطی کامپیوتری
رده :
E-Book
,
2969. Theory and applications of models of computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
2970. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
2971. Theory and applications of models of computation
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science, Congresses.
2972. Theory and applications of models of computation :
پدیدآورنده : T.V. Gopal, Junzo Watada (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
2973. Theory and formal methods of computing 94
پدیدآورنده : / editors, C. Hankin, I. Mackie, R. Nagarajan,original title: At head of title: Imperial College, Department of Computing..
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Computer science--Congresses,Formal methods (Computer science)--Congresses
رده :
QA75
.
5
.
T525
1995
2974. Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(
رده :
QA
75
.
5
.
T525
1995
2975. Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
پدیدآورنده : editors, C. Hankin, I. Mackie, R. Nagarajan
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(
رده :
QA
75
.
5
.
T525
1995
2976. Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
پدیدآورنده : editors, C. Hankin, I. Mackie, R. Nagarajan
کتابخانه: (طهران)
موضوع : Computer science - Congresses
رده :
QA
75
.
5
.
T525
1994
2977. Theory of Cryptography :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
2978. Theory of Cryptography :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
2979. Theory of Cryptography :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
2980. Theory of Cryptography :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
